-- Simple test to see whether we can properly replicate arrays.
-- ==
-- input {
--   10i64
-- }
-- output {
--   [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9],
--    [0, 1, 2, 3, 4, 5, 6, 7, 8, 9],
--    [0, 1, 2, 3, 4, 5, 6, 7, 8, 9],
--    [0, 1, 2, 3, 4, 5, 6, 7, 8, 9],
--    [0, 1, 2, 3, 4, 5, 6, 7, 8, 9],
--    [0, 1, 2, 3, 4, 5, 6, 7, 8, 9],
--    [0, 1, 2, 3, 4, 5, 6, 7, 8, 9],
--    [0, 1, 2, 3, 4, 5, 6, 7, 8, 9],
--    [0, 1, 2, 3, 4, 5, 6, 7, 8, 9],
--    [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]
-- }
def main (n: i64) : [][]i32 =
  let x = 0..1..<i32.i64 n
  let y = replicate n x
  in y
